منابع مشابه
Moves Newsletter
Dear Reader, You are holding the first edition of the MoVES newsletter in your hand. MoVES is an acronym for "Modelling, Verification and Evolution of Software" and is a research project addressing fundamental issues in Software Engineering. The project is sponsored by the Belgian government (belspo, with its IAP/PAI programme) and consequently the project consortium brings together all softwar...
متن کاملMoves Newsletter
The MoVES project on Modelling, Verification and Evolution of Software has entered its last year and this is already the fourth edition of the MoVES newsletter. In this month’s issue we focus on the work package on “Consistency Checking and Co-Evolution” and also seize the opportunity to zoom in on some of the research topics that are currently under active investigation at UCL university in Lo...
متن کاملMoves Newsletter
Dear Reader, Welcome to the eight edition of the MoVES newsletter. The MoVES network on Modelling, Veri cation and Evolution of Software combines the strength of the leading Belgian research teams in software engineering. MoVES also has a number of foreign partners that complement the expertise of the Belgian research teams. This issue of the MoVES newsletter focusses on two of the foreign part...
متن کاملMoves Newsletter
Dear reader, This here is the third installment of the Fundamental Issues in Modelling, Verification and Evolution of Software (MoVES) newsletter. The goal of the newsletter is to highlight the work performed in the context of the project through the different workpackages. As with previous issues, this edition of the newsletter is divided in two parts, the first one focusing on the results ach...
متن کاملMoves Newsletter
Dear Reader, this edition of the MoVES newsletter is dedicated to Workpackage 6, focused on verification methods and tools, and presents results obtained by the University of Liège on that topic. This issue of the newsletter describes three recent results that cover different research topics in the field of verification. The first result, presented on p. 2, introduces an original method for ana...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Infection Control & Hospital Epidemiology
سال: 2001
ISSN: 0899-823X,1559-6834
DOI: 10.1017/s019594170006940x